J - PDFSEARCH.IO - Document Search Engine

J
Results: 175847

#	Item
101	Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Computing Computer programming C Data types Pointer Hooking Exec Nm Struct
102	Elaine F. Marshall, Secretary of State 2018 Report By Designated Individual/Immediate Family Member Decline, Returned, Payment For or Donation of Reportable Expenditure [NCGS §120C-401(j)] Add to Reading List Source URL: lobby.ncsbe.gov Language: English - Date: 2018-09-06 09:07:46 Geography of North Carolina Raleigh North Carolina Research Triangle Walter Raleigh United States Postal Service Filing North Carolina
103	What Happens After You Are Pwnd: Understanding the Use of Leaked Webmail Credentials in the Wild Jeremiah Onaolapo, Enrico Mariconti, and Gianluca Stringhini University College London {j.onaolapo, e.mariconti, g.stringhi Add to Reading List Source URL: jonaolapo.github.io Language: English - Date: 2018-10-25 12:11:25 Computing Webmail Cybercrime Software Fraud Spamming Gmail Phishing The Spamhaus Project Identity theft Yahoo! Mail Botnet
104	Public Evidence from Secret Ballots Matthew Bernhard/ Josh Benaloh† J. Alex Halderman/ Ronald L. Rivest Peter Y. A. Ryan◦ Philip B. Stark‡ Vanessa Teague. Poorvi L. Vora§ Dan S. Wallach? † Microsoft Research / Add to Reading List Source URL: mbernhard.com Language: English - Date: 2017-08-03 23:20:50 Voting Politics Elections Group decision-making Electronic voting Election technology Electoral fraud Voter-verified paper audit trail Scantegrity ThreeBallot Election audits Postal voting
105	Verification of a Virtual Filesystem Switch ? Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, J¨org Pf¨ahler, and Wolfgang Reif Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2017-01-11 10:44:04 Computer architecture Computing System software C POSIX library System calls POSIX Read Open File descriptor Virtual file system UBIFS Close
106	Non-randomness in eSTREAM Candidates Salsa20 and TSC-4 Simon Fischer1 , Willi Meier1 , Cˆ ome Berbain , Jean-Fran¸cois Biasse2 , and M.J.B. Robshaw2 2 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-09-02 14:57:05 Cryptography Stream ciphers Salsa20 VEST Tiny Encryption Algorithm Keystream ESTREAM ICE Weak key Data Encryption Standard Indocrypt
107	Tradition SEF, Inc. Scot J. Halvorsen Senior Regulatory Counsel and Secretary Legal Department Add to Reading List Source URL: www.traditionsef.com Language: English - Date: 2018-06-19 16:24:34 Swap Execution Facility Commodity Futures Trading Commission Freedom of Information Act CFTC Government Law Administrative law
108	Scot J. Halvorsen Senior Regulatory Counsel and Secretary Legal Department TRADITION SEF, Inc. Add to Reading List Source URL: www.traditionsef.com Language: English - Date: 2018-05-15 08:45:29 Commodity Futures Trading Commission SEF Futures contract CFTC Derivative Finance Economy Economic law Commodity markets Swap Execution Facility
109	1 Implementing Attestable Kiosks Matthew Bernhard† Gabe Stocco? J. Alex Halderman† † Add to Reading List Source URL: mbernhard.com Language: English - Date: 2016-09-21 15:16:43 Microsoft Windows Computer security System software Cryptographic software Disk encryption Trusted computing Kiosks Windows Vista Kiosk software Trusted Platform Module Interactive kiosk Next-Generation Secure Computing Base
110	Il y a quelque chose de plus fort que la mort, c’est la présence des absents, dans la mémoire des vivants. J. d’Ormesson Ses enfants : Anne C. LEONARD-HENRY Add to Reading List Source URL: www.hommages.ch Language: French - Date: 2018-10-23 01:02:01